Vi må godta at ikke alle kan jobbe

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Characteristica Universalis *

Yores hensigt vil her va::re at konstruere dele af et direkte afbildende sprog, som vil sa::tte os i stand til at repra::sentere virkelighedens mest generelle strukturer. Vi skal ikke her benytte os af de logiske standard-behandlinger af epistemiske tilstande, der sa::dvanligvis opfatter disse som domme (propositioner). Vi vil i stedet genoptage den ikke mindre a::rva::rdige, men nutildags noge...

متن کامل

Automatisk splitting av sammensatte ord-et lingvistisk hjelpemiddel for tekstsøking (Automatic splitting of compound words-A linguistic aid for text search) [In Norwegian]

Sammensatte ord skaper problemer ved ulike former for automatisk analyse av vokabularet i en tekst, f.eks, ved frekvensstudier. Problemet består i at menings­ innholdet i et sammensatt ord i mange tilfeller også kan beskrives i et uttrykk med de tilsvarende usammen­ satte ordene. I tekstsøking kan f.eks, de sammensatte ordene føre til at man ikke finner de dokumentene man søker etter fordi det ...

متن کامل

Kan Extensions of Institutions

Institutions were introduced by Goguen and Burstall 8, 9, 10, 11] to formally capture the notion of logical system. Interpreting institutions as functors, and morphisms and representations of institutions as natural transformations, we give elegant proofs for the completeness of the categories of institutions with morphisms and representations, respectively, show that the duality between morphi...

متن کامل

Computing left Kan extensions

We describe a new extension of the Todd–Coxeter algorithm adapted to computing left Kan extensions. The algorithm is a much simplified version of that introduced by Carmody and Walters (Category Theory, Proceedings of the International Conference Held in Como, Italy, 22–28 July 1990. Springer) in 1991. The simplification allows us to give a straightforward proof of its correctness and terminati...

متن کامل

Et informatikkperspektiv på norsk lovgivning om karakterklager i høyere utdanning

KD har i en nylig proposisjon foreslått endringer av klagesensurordningen, hvor det legges opp til at en modell med blind omsensur, som allerede har vært brukt ved en del læresteder, nå skal gjøres obligatorisk for alle læresteder. I denne artikkelen sammenlignes gammel og ny klagesensurordning med ordningene i en del andre land. Vi diskuterer ulike typer sensurfeil (med eksempel fra programmer...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: rus & avhengighet

سال: 2006

ISSN: 0809-2834

DOI: 10.18261/issn0809-2834-2006-06-17